def f() -> int: ...
